什么
是否有与 略有不同的符号$\forall$
(例如,从左上角到中下角有第二条线)?它显然意味着“适用于所有人”,但又足够不同,以免被误认为是$\forall$
。
类似地,是否有一个略有不同的符号$\exists$
(例如向下两条线)?
为什么
我需要两个不同的符号来区分我是在某种形式逻辑中还是在元级别(谈论逻辑)。目前我使用“fa”和“ex”,但我认为如果量词突出,那么理解复杂的描述会更容易。
在哪里
我查看了 amssymb 并http://www.math.union.edu/~dpvc/jsmath/symbols/welcome.html,但没有找到合适的符号。
答案1
该示例定义了\eexists
问题\fforall
中所要求的附加行。
\eexists
:符号由和垂直线\eexists
组成 ,以获得具有匹配线宽的线。垂直线被缩放到正确的高度。此垂直缩放不会改变水平线宽度。最后将线移动到正确的位置。\exists
|
\fforall
:垂直线技巧无法使用,因为角度无法准确得知。角度还取决于字体大小。角度可以根据符号的宽度和高度估算。对于此符号,TikZ
使用 ,线宽则根据 的宽度猜测\forall
。
更新:
- 减小了两条线之间的距离。
- 我删除了 的案例
\scriptscriptstyle
,因为这些符号的侧边距较大,需要进行补偿。但无论如何,这些符号可能不需要这么大的尺寸。 - 当然,“魔法数字”取决于使用的字体。不同的字体可能需要不同的设置。
示例文件:
\documentclass{article}
\usepackage{graphicx}
\usepackage{tikz}
\makeatletter
\newcommand*{\eexists}{%
{\mathpalette\eexistsAux{}}%
}
\newcommand*{\eexistsAux}[2]{%
\exists
\sbox0{$\m@th#1\exists$}%
\sbox2{\raisebox{\depth}{$\m@th#1|$}}%
\kern-.5\wd2 %
\resizebox{\width}{\ht0}{\copy2}%
\kern-.25\wd2 %
}
\newcommand*{\fforall}{%
{\mathpalette\fforallAux{}}%
}
\newcommand*{\fforallAuxx}[1]{%
\sbox0{$\m@th#1\forall$}%
\sbox2{%
\rlap{%
\raisebox{\depth}{$\m@th#1\backslash$}%
}%
\kern\ht0 %
}%
\sbox2{\resizebox{\ht2}{\height}{\copy2}}%
\sbox2{\resizebox{!}{\ht0}{\copy2}}%
\wd2=0pt %
\copy2
\forall
}
\newsavebox\forallBox
\newdimen\forallLineWidth
\newdimen\forallSep
\newcommand*{\fforallAux}[1]{%
\sbox\forallBox{$\m@th#1\forall$}%
\setlength{\forallLineWidth}{.06\wd\forallBox}%
\setlength{\forallSep}{.09\wd\forallBox}%
\tikz[
inner sep=0pt,
line cap=round,
line width=\forallLineWidth,
]
\draw
(0,0) node (A) {\copy\forallBox}
(A.south) ++(-\forallSep-\forallLineWidth,.4\forallLineWidth)
coordinate (A1)
(A.north west) ++(-\forallSep,-\forallLineWidth)
coordinate (A2)
(A1) -- (A2)
;%
}
\makeatother
\begin{document}
\setlength{\fboxsep}{0pt}
\renewcommand*{\arraystretch}{1.5}
\begin{tabular}{cc}
\fbox{$\forall$} & \fbox{$\exists$}\\
\fbox{$\fforall$} & \fbox{$\eexists$}\\
$\forall^\forall$ & $\exists^\exists$ \\
$\fforall^\fforall$ & $\eexists^\eexists$\\
\end{tabular}
\end{document}
答案2
\documentclass{article}
\usepackage{graphicx,amsmath,amssymb}
\newcommand{\myexists}{\ensuremath\exists\kern-.7em\exists}
\newcommand{\myforall}{\kern.05em\ensuremath\forall\kern-.9em\rotatebox{110}{\ensuremath-}}
\newcommand{\myforalll}{\ensuremath\forall\kern-.5em\forall}
\begin{document}
\noindent
\verb|\myexists|: $\myexists $ \\
\verb|\myforall|: $\myforall $ \\
\verb|\myforalll|: $\myforalll $
\end{document}
调整长度\myforall
\documentclass{article}
\usepackage{graphicx,amsmath,amssymb}
\newcommand{\myexists}{\ensuremath\exists\kern-.7em\exists}
\newcommand{\myforall}{\kern.05em\ensuremath\forall\kern-.63em\rotatebox{110}{\rule{.73em}{.4pt}}}
\newcommand{\myforalll}{\ensuremath\forall\kern-.5em\forall}
\begin{document}
\noindent
\verb|\myexists|: $\myexists $ \\
\verb|\myforall|: $\myforall $ \\
\verb|\myforalll|: $\myforalll $
\end{document}
使用这些技术,您可以通过多种方式自定义量词,例如:
\newcommand{\fa}{\kern.05em\ensuremath\forall\kern-.22em\rotatebox{69}{\rule{.73em}{.4pt}}}
\newcommand{\ex}{\kern.05em\ensuremath\exists\kern-.03em\rotatebox{90}{\rule{.68em}{.35pt}}}
答案3
\mathbb{A}
您可以通过旋转和反射来制作类似的东西\mathbb{E}
。
\documentclass{article}
\usepackage{amssymb}
\usepackage{graphicx}
\begin{document}
\rotatebox[origin=c]{180}{$\mathbb{A}$} $\forall$
\reflectbox{$\mathbb{E}$} $\exists$
\end{document}
这样,你可以尝试并选择你最喜欢的字体,例如 mathrm:
答案4
\exist
以下是具有双线的版本:
\documentclass{article}
\newcommand{\eexists}{\ooalign{$\exists\,$\cr$\,\exists$}}
\begin{document}
Let's assume $\exists\mathcal{X}$ or $\eexists\mathcal{Y}$.
\end{document}
\eexists
是两个图层的叠加\exists
,中间留有一定空间。