diff options
Diffstat (limited to 'src/Text')
| -rw-r--r-- | src/Text/Pandoc/Writers/HTML.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Text/Pandoc/Writers/HTML.hs b/src/Text/Pandoc/Writers/HTML.hs index 019660dce..99664897e 100644 --- a/src/Text/Pandoc/Writers/HTML.hs +++ b/src/Text/Pandoc/Writers/HTML.hs @@ -1682,6 +1682,7 @@ isMathEnvironment s = "\\begin{" `T.isPrefixOf` s && , "multline" , "multline*" , "pmatrix" + , "prooftree" -- bussproofs , "smallmatrix" , "split" , "subarray" |