首先是一个 MWS,其输出如下。
\documentclass[12pt]{article}
\usepackage{amsmath}
\usepackage{boisik}
\begin{document}
\[
A\prurel B \text{ and } A\owns B
\]
\end{document}
我想要的是介于\prurel
和之间的\owns
:(1)所需符号的右侧类似于\prurel
,(2)所需符号的左侧类似于,并且(3)所需符号的大小与或\owns
相同。那么如何定义这样的符号?以下是草图。\owns
\in
另外,如果我们有这样一个符号,那么如何将它水平翻转得到一个新的符号,也\in
就是\owns
?
答案1
根据草图,我留给你去进行微调。
\documentclass{article}
\usepackage{amsmath,bm}
\usepackage{graphicx}
\makeatletter
\NewDocumentCommand{\varin}{}{\mathrel{\mathpalette\varin@\subset}}
\NewDocumentCommand{\varowns}{}{\mathrel{\mathpalette\varin@\supset}}
\newcommand{\varin@scale}[1]{\scalebox{0.7}[0.465]{#1}}
\newcommand{\varin@}[2]{%
\vcenter{%
\m@th
\offinterlineskip
\sbox\z@{$#1\mkern0.5mu$}%
\ialign{##\cr\varin@scale{$#1\bm{#2}$}\cr\noalign{\kern-\wd\z@}\varin@scale{$#1\bm{#2}$}\cr}%
}%
}
\makeatother
\begin{document}
$\varowns\owns\in\varin$
$A\varowns x \varin B \in C$
$\scriptstyle A\varowns x \varin B$
$\scriptscriptstyle A\varowns x \varin B$
\large
$A\varowns x \varin B$
\Large
$A\varowns x \varin B$
\end{document}