Commit e355611e authored by BECKER Benedikt's avatar BECKER Benedikt

Replace unequalities by latex commands

parent 0891d5c1
......@@ -29,6 +29,8 @@ module LatexInd (Conf: sig val prefix: string val flatten_applies : bool val com
| "<>" -> "\\neq"
| "^" -> "\\string^"
| "++" -> "\\mathbin{+\\mkern-10mu+}"
| "<=" -> "\\le"
| ">=" -> "\\ge"
| s -> s
(** Optionally extract trailing numbers and quotes, after an optional single or double
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment