LaTeX forum ⇒ Math & ScienceDifference between ⫾ (U+2AFE) and ⫿ (U+2AFF)?

Information and discussion about LaTeX's math and science related features (e.g. formulas, graphs).
user49915
Posts: 79
Joined: Wed Apr 17, 2019 12:51 pm

Difference between ⫾ (U+2AFE) and ⫿ (U+2AFF)?

Postby user49915 » Fri Oct 18, 2019 11:23 am

Continuing https://tex.stackexchange.com/questions ... d-language, what is the intended difference in the usage of ⫾ (Dijkstra choice, U+2AFE) and ⫿ (n-ary Dijkstra choice, U+2AFF)? Consider the following typesetting test:

Code: [Select all] [Expand/Collapse] [Download] ({untitled.tex})
  1. \documentclass{article}
  2. \pagestyle{empty}
  3. \usepackage{mathtools}%%% loads amsmath internally
  4. \mathtoolsset{mathic=true} %%% See <!-- m --><a class="postlink" href="http://tex.stackexchange.com/a/3496/">http://tex.stackexchange.com/a/3496/</a><!-- m -->
  5. \usepackage{unicode-math}
  6. \setmainfont[Ligatures=TeX]{TeX Gyre Termes}
  7. \setsansfont{TeX Gyre Heros}[Scale=0.88]
  8. \setmonofont{TeX Gyre Cursor}%%% No explicit turning on ligatures for the monospaced font.
  9. %\setmathfont[Ligatures=TeX]{TeX Gyre Termes Math}
  10. %\setmathfont[Extension=.otf,Ligatures=TeX,range={"2AFE,"2AFF}]{STIXMath-Regular}
  11. \setmathfont{XITSMath-Regular.otf}
  12. \setlength{\tabbingsep}{0pt}%%% We use tabbing only to typeset programs. Let's have manual control there.
  13. \newcommand{\GCLcommand}[1]{\ifmmode\mathbfsf{#1}\else\textbf{\textsf{#1}}\fi}
  14. \newcommand{\mdoloop}{\GCLcommand{do}}
  15. \newcommand{\modloop}{\GCLcommand{od}}
  16. \newcommand{\mthen}{\ensuremath{\to}}
  17. \newcommand{\mif}{\GCLcommand{if}}
  18. \newcommand{\mfi}{\GCLcommand{fi}}
  19. \newcommand{\mnoop}{\GCLcommand{nop}}
  20. \begin{document}
  21. \newcommand{\test}{%
  22. \begin{tabbing}\mdoloop\=\ \ \=\(q_1>q_2\) \ \=\(\to\) \ \ \=\kill
  23. \mdoloop\>\>\(q_1>q_2\)\>\mthen\>\(q_1,q_2\) \(\coloneqq\) \(q_2,q_1\)\\
  24. \>\mchoice\'\>\(q_2>q_3\)\>\mthen\>\(q_2,q_3\) \(\coloneqq\) \(q_3,q_2\)\\
  25. \>\mchoice\'\>\(q_3>q_4\)\>\mthen\>\(q_3,q_4\) \(\coloneqq\) \(q_4,q_3\)\\
  26. \modloop
  27. \end{tabbing}
  28. Let
  29. \[
  30. \mathit{DO}\ \ =\ \ \mdoloop\ \,\dots\ \mchoice\ G_i~ \mthen~ S_i\ \,\mchoice\,\ \dots\ \,\modloop
  31. \]
  32. Then:
  33. \[
  34. (\mathit{DO}, \sigma)\ \ \to\ \ (\mif\ \dots~ \mchoice ~G_i ~\mthen~ S_i; ~ \mathit{DO} ~\mchoice~ \dots
  35. \mchoice~ \neg (C_1 \land \dots \land C_n) ~\mthen~ \mnoop ~\mfi,~ \sigma)
  36. \]
  37. where $C_i$ is the boolean expression in the guard of $G_i$ (\(1\le i\le n\)).%
  38. }%end of \test definition
  39.  
  40. \newcommand{\mchoice}{\ensuremath{⫾}}
  41. \mchoice\ (U+2AFE):
  42. \test\\
  43. \hrule
  44. \bigskip
  45. \renewcommand{\mchoice}{\ensuremath{⫿}}
  46. \mchoice\ (U+2AFF):
  47. \test
  48. \end{document}


The output of xelatex demonstrates unexpectedly large size of ⫿ (U+2AFF) in \displaystyle:

file.png
file.png (230.09 KiB) Viewed 1487 times


Was Barbara's original answer https://tex.stackexchange.com/a/435995 (before the update) wrong, or am I typesetting anything in an unintended way?

Return to “Math & Science”

Who is online

Users browsing this forum: No registered users and 7 guests