arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 18:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use aligned instead of align*

Browse Source
This commit is contained in:
Arne Keller 2021-03-04 12:09:31 +01:00
parent 5f35f57151
commit 6cea905dc4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstants.java
View File

@ -70,8 +70,8 @@ public final class LatexCreatorConstants {
protected static final String VDASH = "\\vdash";
protected static final String TREE_BEGIN = "\\begin{prooftree}";
protected static final String TREE_END = "\\end{prooftree}";
protected static final String ALIGN_BEGIN = "\\begin{align*}";
protected static final String ALIGN_END = "\\end{align*}";
protected static final String ALIGN_BEGIN = "\\begin{aligned}";
protected static final String ALIGN_END = "\\end{aligned}";
protected static final String SPLIT_BEGIN = "\\begin{split}";
protected static final String SPLIT_END = "\\end{split}";