@@ -146,26 +146,36 @@ writeExp (EOver _ (EOver _ b (ESymbol TOver "\9140")) e1) =
146146writeExp (EOver _convertible b e1) =
147147 case e1 of
148148 ESymbol Accent " `" -> " grave" <> inParens (writeExp b)
149- ESymbol Accent " \768" -> " grave" <> inParens (writeExp b)
150- ESymbol Accent " \xb4 " -> " acute" <> inParens (writeExp b)
149+ ESymbol Accent " \180" -> " acute" <> inParens (writeExp b)
151150 ESymbol Accent " ^" -> " hat" <> inParens (writeExp b)
152- ESymbol Accent " \770" -> " hat" <> inParens (writeExp b)
153151 ESymbol Accent " ~" -> " tilde" <> inParens (writeExp b)
154- ESymbol Accent " \771" -> " tilde" <> inParens (writeExp b)
155- ESymbol Accent " \xaf " -> " macron" <> inParens (writeExp b)
156- ESymbol Accent " \x2d8 " -> " breve" <> inParens (writeExp b)
157152 ESymbol Accent " ." -> " dot" <> inParens (writeExp b)
153+ ESymbol Accent " \168" -> " diaer" <> inParens (writeExp b)
154+ ESymbol Accent " \175" -> " macron" <> inParens (writeExp b)
155+ ESymbol Accent " \711" -> " caron" <> inParens (writeExp b)
156+ ESymbol Accent " \728" -> " breve" <> inParens (writeExp b)
157+ ESymbol Accent " \733" -> " acute.double" <> inParens (writeExp b)
158+ ESymbol Accent " \768" -> " grave" <> inParens (writeExp b)
159+ ESymbol Accent " \769" -> " acute" <> inParens (writeExp b)
160+ ESymbol Accent " \770" -> " hat" <> inParens (writeExp b)
161+ ESymbol Accent " \771" -> " tilde" <> inParens (writeExp b)
162+ ESymbol Accent " \772" -> " macron" <> inParens (writeExp b)
163+ ESymbol Accent " \773" -> " overline" <> inParens (writeExp b)
164+ ESymbol Accent " \774" -> " breve" <> inParens (writeExp b)
158165 ESymbol Accent " \775" -> " dot" <> inParens (writeExp b)
159- ESymbol Accent " \xa8 " -> " diaer" <> inParens (writeExp b)
166+ ESymbol Accent " \776" -> " dot.double" <> inParens (writeExp b)
167+ ESymbol Accent " \777" -> " harpoon" <> inParens (writeExp b)
168+ ESymbol Accent " \778" -> " circle" <> inParens (writeExp b)
169+ ESymbol Accent " \779" -> " acute.double" <> inParens (writeExp b)
170+ ESymbol Accent " \780" -> " caron" <> inParens (writeExp b)
171+ ESymbol Accent " \781" -> " overline" <> inParens (writeExp b)
160172 ESymbol Accent " \x2218 " -> " circle" <> inParens (writeExp b)
161- ESymbol Accent " \x2dd " -> " acute.double" <> inParens (writeExp b)
162- ESymbol Accent " \x2c7 " -> " caron" <> inParens (writeExp b)
163173 ESymbol Accent " \x2192 " -> " ->" <> inParens (writeExp b)
164174 ESymbol Accent " \x2190 " -> " <-" <> inParens (writeExp b)
165175 ESymbol Accent " \8407" -> " arrow" <> inParens (writeExp b)
166- ESymbol TOver " \9182" -> " overbrace( " <> writeExp b <> " ) "
167- ESymbol TOver " \9140" -> " overbracket( " <> writeExp b <> " ) "
168- ESymbol TOver " \175" -> " overline( " <> writeExp b <> " ) "
176+ ESymbol TOver " \9182" -> " overbrace" <> inParens ( writeExp b)
177+ ESymbol TOver " \9140" -> " overbracket" <> inParens ( writeExp b)
178+ ESymbol TOver " \175" -> " overline" <> inParens ( writeExp b)
169179 _ -> writeExpB b <> " ^" <> writeExpS e1
170180writeExp (EUnder _ (EUnder _ b (ESymbol TUnder " \9183" )) e1) =
171181 " underbrace(" <> writeExp b <> " , " <> writeExp e1 <> " )"
0 commit comments