Yuwsuke Kieda
Correct spacing of the alignment in expressions.
Arrows with three strokes for the projection of a foliated bundle.
Gyou-dori (line-based placement) of headings, display math and floats for Japanese typesetting.
Control the space after punctuation in math expressions.
Always keep upright shape for some punctuation marks and Arabic numerals.
Font definitions for the variable Latin Modern fonts.