Advertisement
Guest User

Untitled

a guest
Dec 21st, 2014
139
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.77 KB | None | 0 0
  1. def<#1>{moseslookforif#1ifmoseslookforif}
  2. defmoseslookforif#1if#2moseslookforif{%
  3. ifxhfuzz#2hfuzz
  4. % no if in the argument
  5. mosescolon#1mosescolon
  6. else
  7. mosesifelse#1if#2mosesifelse
  8. fi
  9. }
  10.  
  11. defmosescolon#1: #2: #3mosescolon{%
  12. langle #1:ifxhfuzz#2hfuzzelse#2fi:#3rangle
  13. }
  14. defmosesifelse#1 if #2 else #3ifmosesifelse{%
  15. langle #1 lhd #2 rhd #3rangle
  16. }
  17.  
  18. %%% Code possibly to be omitted, if lhd and rhd are already available
  19. fonttenlasy=lasy10
  20. fontsevenlasy=lasy7
  21. fontfivelasy=lasy5
  22. newfamlasyfam
  23. textfontlasyfam=tenlasy
  24. scriptfontlasyfam=sevenlasy
  25. scriptscriptfontlasyfam=fivelasy
  26. mathchardeflhd=numexpr2*"1000+lasyfam*"100+"01relax
  27. mathchardefrhd=numexpr2*"1000+lasyfam*"100+"03relax
  28. %%% end of code to possibly omit
  29.  
  30. % the example
  31.  
  32. $<a : b : c>$
  33.  
  34. $<x if y else z>$
  35.  
  36. bye
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement