Does anyone know a way to "overlap" two disjunction (or conjunction) symbols? Almost looking like a "W". It is sometimes used in infinitary logic!
-
1Google says that these are stylistic variations of ⋀ and ⋁.niru– niru2026-04-10 05:24:33 +00:00Commented Apr 10 at 5:24
-
1@niru if you are lucky. but logic is not really unicode's thing, unfortunately. they are more interested in emojis.cfr– cfr2026-04-10 05:43:01 +00:00Commented Apr 10 at 5:43
-
1which reminds me that I am supposed to be making a list of missing things ...cfr– cfr2026-04-10 05:44:00 +00:00Commented Apr 10 at 5:44
-
1@cfr "they are more interested in emojis." :/ ;-;niru– niru2026-04-10 07:00:19 +00:00Commented Apr 10 at 7:00
-
1@cfr if you are making a list of missing items, please ping me/Antonis Tsolomitis. His font supports excellent support for items ignored by Unicode. I will report these two characters to him today.niru– niru2026-04-10 07:01:48 +00:00Commented Apr 10 at 7:01
|
Show 3 more comments
3 Answers
You can kern between two identical symbols. Adapt the factor, here 75% of the symbol's width, to your liking.
\documentclass{article}
\usepackage{amsmath}
\makeatletter
\NewDocumentCommand{\bigidisj}{}{%
\mathop{\mathpalette\idc@\bigwedge}\slimits@
}
\NewDocumentCommand{\bigiconj}{}{%
\mathop{\mathpalette\idc@\bigvee}\slimits@
}
\newcommand{\idc@}[2]{%
\begingroup
\sbox\z@{$\m@th#1#2$}
\copy\z@\kern-0.75\wd\z@\copy\z@
\endgroup
}
\makeatother
\begin{document}
$\displaystyle\bigidisj_{\varphi\in S}$\quad
$\textstyle\bigidisj_{\varphi\in S}$\quad
$\scriptstyle\bigidisj_{\varphi\in S}$\quad
$\scriptscriptstyle\bigidisj_{\varphi\in S}$
\bigskip
$\displaystyle\bigiconj_{\varphi\in S}$\quad
$\textstyle\bigiconj_{\varphi\in S}$\quad
$\scriptstyle\bigiconj_{\varphi\in S}$\quad
$\scriptscriptstyle\bigiconj_{\varphi\in S}$
\end{document}
What's \slimits@? It's the amsmath internal command that makes limits obey the sumlimits or nosumlimits options. This way the symbols will behave like their finitary companions \bigwedge and \bigvee.
All Math fonts of NewComputerModern support these characters in all needed cases. For two items p and q use
p \wedgeonwedge q, or \veeonvee
For many items use something like
\conjquant_{i=1}^n p_i
(or \disjquant)
which will also work in display mode, as NewCM includes all these characters for display too. And they work.
\documentclass{article}
\usepackage{newcomputermodern}
\begin{document}
$p \wedgeonwedge q, or \veeonvee $
For many items use something like
$\displaystyle \conjquant_{i=1}^n p_i $
\end{document}
-
Oh U+2A07 I missed that as it hasn't got an "n-ary" unicode name.David Carlisle– David Carlisle2026-04-10 11:43:45 +00:00Commented Apr 10 at 11:43
-
Thanks David for adding the TeX example.Antonis– Antonis2026-04-11 15:33:59 +00:00Commented Apr 11 at 15:33
Unicode has the infix version U+2A56 and (as pointed out by @antonis) the n-ary version at U+2A08.
\veeonvee and \disjquant in unicode-math and compatible packages.
Using a single character is better when available for cut and paste and accessible readings etc.
\documentclass{article}
\usepackage{unicode-math}
\setmathfont{STIX Two Math}
\begin{document}
$a \vee b \veeonvee c$
$\displaystyle \bigvee_S \quad \disjquant_S$
\end{document}
