Commit c6755793 authored by Marc Coiffier's avatar Marc Coiffier
Browse files

Successful build (on Mon Dec 3 16:20:46 CET 2018)

parent 7980e695
......@@ -405,7 +405,7 @@ doc2latex DocSpace = "\\,"
latexName :: IsCapriconString str => str -> str
latexName s = fromString $ go $ toString s
where go ('.':t) = go t+"_{-}"
where go ('.':t) = go t+"_{\\downarrow}"
go x = "\\mathrm{"+x+"}"
showNode = showNode' zero
......
Supports Markdown
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