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

change substitution sign to another arrow

Browse Source
This commit is contained in:
ucrhh 2021-02-04 10:58:09 +01:00
parent 1564c772d5
commit fd00b47928
3 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
frontend/src/mathjax-setup.js
View File

@ -1,7 +1,7 @@
window.MathJax = {
loader: {load: ['[tex]/bussproofs', '[tex]/html', '[tex]/action']},
loader: {load: ['[tex]/bussproofs', '[tex]/unicode']},
tex: {
packages: {'[+]': ['bussproofs', 'html', 'action']},
packages: {'[+]': ['bussproofs', 'unicode']},
inlineMath: [['$', '$'], ['\\(', '\\)']]
},
startup: {

2
src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/LatexCreator.java
View File

@ -69,7 +69,7 @@ public class LatexCreator implements StepVisitor {
List<Substitution> substitutions = subs.unwrap();
for (Substitution s : substitutions) {
latex.append(new LatexCreatorType(s.getVariable()).getLatex());
latex.append(RIGHT_ARROW);
latex.append(SUBSTITUTION_SIGN);
latex.append(new LatexCreatorType(s.getType()).getLatex());
latex.append("\\\\");
}

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

@ -34,6 +34,7 @@ public final class LatexCreatorConstants {
protected static final String USER_VARIABLE = "\\tau";
protected static final String GAMMA = "\\Gamma";
protected static final String SUBSTITUTION_SIGN = "\\mathrel{\\unicode{x21E8}}";
protected static final String LAMBDA = "\\lambda";
protected static final String LATEX_SPACE = "\\ ";
protected static final String FOR_ALL = "\\forall";