两个符号重叠

kuing

转自：bbs.ctex.org/forum.php?mod=viewthread&tid=153333 一个月前弄的，差点忘了存档。

要弄 这样的符号

试着写了一个有通用性的重叠命令，缺陷及副作用尚未明确 :D

1. \documentclass{ctexart}
2. \usepackage{amsmath,amssymb}
3. \usepackage{mathtools}
5. %符号重叠命令\fhcd[类型]{符号}{符号}
6. %类型是最终输出的符号的类型（bin, rel, ord 等，默认 bin），两符号顺序随意
7. \makeatletter
8. \newcommand\fhcd[3][bin]{
9. \csname math#1\endcsname{\mathchoice
10. {\@fhcd\displaystyle{#2}{#3}}
11. {\@fhcd\textstyle{#2}{#3}}
12. {\@fhcd\scriptstyle{#2}{#3}}
13. {\@fhcd\scriptscriptstyle{#2}{#3}}}}
14. \newcommand\@fhcd[3]{
15. \settowidth\@tempdima{$\m@th#1{#2}$}
16. \settowidth\@tempdimb{$\m@th#1{#3}$}
17. \ifdim\@tempdimb>\@tempdima\@tempdima\@tempdimb\fi
18. \kern.5\@tempdima\mathclap{#2}\mathclap{#3}\kern.5\@tempdima}
19. \makeatother
21. \begin{document}
23. 这样，第一个可以这样定义
24. \newcommand\cttdiv{\fhcd\bigtriangledown\cdot}
26. 效果 $A\cttdiv B = A\bigtriangledown B\cdot C$
27. \[A\cttdiv B + \frac{\frac{A\cttdiv B}{A\cttdiv B}}{A\cttdiv B}\]
29. 第二个直接这样定会有瑕疵
30. \newcommand\cttcurl{\fhcd\bigtriangledown\times}%
31. $A\cttcurl B$
33. 突了点儿，只能调整下了，比如
34. \renewcommand\cttcurl{\fhcd\bigtriangledown
35. {\text{\raisebox{0.25ex}{\scalebox{0.75}{$\times$}}}}}%
36. $A\cttcurl B+\frac{A\cttcurl B}2$
38. 还可以搞些其他东西
40. 长的不等价
41. \let\iff\Longleftrightarrow
42. \newcommand\niff{\fhcd[rel]/\iff}
43. $A\niff B\iff C+\frac{A\niff B}{A\iff B}$
45. 斜的不平行
46. \newcommand\px{\mathrel{/\mkern-5mu/}}%
47. \newcommand\npx{\fhcd[rel]\px\smallsetminus}%
48. $AB\px CD\npx EF$
50. 无聊的
51. \newcommand\asdf{\fhcd[ord]\leftrightarrow\updownarrow}%
52. \newcommand\aaaa{\fhcd[ord]\nearrow\searrow}%
53. \newcommand\bbbb{\fhcd[ord]\nwarrow\swarrow}%
54. \newcommand\cccc{\fhcd[ord]\aaaa\bbbb}%
55. $\asdf \ \cccc$
57. \end{document}

复制代码

kuing

liam0205.me/2017/06/30/create-overlayed-symbols-by-ooalign/
（使用 \ooalign 命令创建叠加在一起的记号）
这个帖讲的看起来更高大上一些，暂时还没完全理解……那个什么 \hidewidth ……还有后面那些……有空再研究下

kuing

回复 2# kuing

“\ooalign 中，每一行都复写在上一行之上”
“\hidewidth 定义是 \hskip -1000pt plus 1fill”
照这两点来理解就能解释如下结果：

1. \documentclass{article}
2. \usepackage{xcolor}
3. \begin{document}
5. \newcommand\testoo[1]{\fbox{{%
6. \ooalign{%
7. Q\cr
8. #1\crcr
9. }}}\par}
11. \fboxsep=0pt
13. \newcommand\x{{\color{red}x}}
14. \newcommand\y{{\color{green}y}}
15. \renewcommand\o{{\color{blue}o}}
16. \newcommand\xx{{\color{red}xxxx}}
17. \newcommand\yy{{\color{green}yyyyyy}}
18. \newcommand\oo{{\color{blue}ooo}}
20. \testoo{}
21. \testoo{\x\hidewidth}
22. \testoo{\hidewidth\y}
23. \testoo{\hidewidth\o\hidewidth}
24. \testoo{\xx\hidewidth}
25. \testoo{\hidewidth\yy}
26. \testoo{\hidewidth\oo\hidewidth}
27. \testoo{\xx\hidewidth\yy}
28. \testoo{\xx\hidewidth\oo\hidewidth}
29. \testoo{\hidewidth\oo\hidewidth\yy}
30. \testoo{\xx\hidewidth\oo\hidewidth\yy}
31. \end{document}

复制代码

除此之外，如果注意一下细节——深度，似乎 ooalign 的最终深度似乎只取决于最后一行，进而猜测：高度只取决于第一行？测试了一下似乎确实如此：

1. \fbox{{\ooalign{k\cr q\crcr}}} \fbox{{\ooalign{q\cr k\crcr}}}

复制代码

得出：

这样看的话，ooalign 的方法还是存在缺陷嘀……
比如说文中用 {\ooalign{\$\bigcup\$\cr\hidewidth\$\bullet\$\hidewidth\cr}} 构造的 `\bigcup` 与 `\bullet` 重叠的符号，用 \fbox 来框一下就很清楚了：

1. \fbox{$\bullet$}
2. \fbox{$\bigcup$}
3. \fbox{{\ooalign{$\bigcup$\cr\hidewidth$\bullet$\hidewidth\cr}}}

复制代码

原因就是后者深度由 \bullet 决定。
虽然多数时候没什么影响，但如果处于某些特殊情况下（例如繁分式），垂直间距或许就会有问题（贴得太近）。