设计一组新的代数运算符

Question

至少需要二Albera 运算符的额外元组。

A最小tuple 是三元组（to_be_subset_eq，meet_operator，join_operator）。

有一些关于如何制作 2 个额外 tupes 的想法。但是我需要帮助来实现它们。例如，如下所示：

\documentclass{article}
\usepackage[T1]{fontenc}
\usepackage{amssymb}

\usepackage{soul}
\setul{1pt}{0.5pt} %depth, thikness

\usepackage[normalem]{ulem}
\renewcommand{\ULthickness}{0.5pt}
\renewcommand{\ULdepth}{1pt}

\usepackage{accents}

\def\uSubsetOne{\mbox{\bfseries\b{$\Subset$}}}
\def\uSubsetTwo{\mbox{\ul{$\Subset$}}} %soul package
\def\uSubsetThree{\mbox{\uline{$\Subset$}}} %ulem pakcage
\newcommand{\uSubsetFour}[1]{\underline{#1\mkern-4mu}\mkern4mu } %\underline hacking 

\underline 黑客攻击来自这里

\def\uSubsetFive{\mathbf{\underaccent{\bar}{\Subset}}} %accent package

\begin{document}

1. In the First triple  $(\sqsubseteq,\sqcap,\sqcup)$ we need to increase the thickness.

2. Possible variants of $\Subset$ upgrading.

2.1. $(\uSubsetOne,\Cap,\Cup)$ --- the line should be at the right corner.

2.2. $(\uSubsetTwo,\Cap,\Cup)$ ---  the width of the line is too large, soul package. 

2.3. $(\uSubsetThree,\Cap,\Cup)$ ---  the width of the line is too large, ulem package.

2.4. $(\uSubsetFour{\Subset},\Cap,\Cup)$ --- lack of thickness, problems with depth and positioning, width is too large. 

2.5. $(\uSubsetFive,\Cap,\Cup)$ --- the line should be at the right corner, accents package.

\end{document}

编译结果：

以下是一些有用的链接： 设计一个新的大数学符号

设计一个新的箭头状关系符号- 此变体也适用于\multimapdot在三元组中实现箭头的情况(\sqsubseteq,\sqcap,\sqcup)。

设计一种新的模糊逻辑符号

设计一个新的盒子状符号

谁能帮帮我吗？

Answer 1

这是否更符合您的要求？我已使用该stackengine包来设置垂直相对值。较粗的方形运算符是通过将两个副本紧密相邻放置（垂直和水平偏移 .2pt）而创建的。下划线子集将 置于\rule下方\Subset。

\documentclass{article}
\usepackage[T1]{fontenc}
\usepackage{amssymb}
\usepackage{stackengine}
\stackMath
\def\Sqsubseteq{\def\stacktype{L}\mathrel{\stackon[.2pt]{\sqsubseteq}{\kern.2pt\sqsubseteq}}}
\def\Sqcap{\def\stacktype{L}\mathrel{\stackon[.2pt]{\sqcap}{\kern.2pt\sqcap}}}
\def\Sqcup{\def\stacktype{L}\mathrel{\stackon[.2pt]{\sqcup}{\kern.2pt\sqcup}}}
\def\uSubset{\mathrel{\stackunder[1pt]{\Subset}{\rule{1.35ex}{.45pt}}}}
\begin{document}
1. In the First triple  $(\sqsubseteq,\sqcap,\sqcup)$ we need to increase the thickness.\par
1. Try $(\Sqsubseteq,\Sqcap,\Sqcup)$\par
2. Possible variants of $\Subset$ upgrading.\par
Try $(\uSubset,\Cap,\Cup)$ 
\end{document}

Answer 2

\ooalign众所周知，我喜欢。

\documentclass{article}
\usepackage{amssymb,bm}
\newcommand{\Subseteq}{%
  \mathrel{%
    \vphantom{\subseteq}%
    \smash{\vcenter{\doSubseteq}}%
  }%
}
\newcommand{\doSubseteq}{%
  \hbox{\ooalign{%
    \noalign{\kern.5ex}
    $\Subset$\cr
    \noalign{\kern1.1ex}
    \smash{$-$}\cr
  }}%
}
\newcommand{\bsqsubseteq}{\bm{\sqsubseteq}}
\newcommand{\bsqcup}{\bm{\sqcup}}
\newcommand{\bsqcap}{\bm{\sqcap}}

\begin{document}

\fboxsep=0pt\fboxrule=0.1pt
\fbox{$\subseteq\Subseteq\subset\Subset$} % just to show the relative shapes

$(\subseteq,\cap,\cup)$

$(\Subseteq,\Cap,\Cup)$

$(\sqsubseteq,\sqcap,\sqcup)$

$(\bsqsubseteq,\bsqcap,\bsqcup)$

\end{document}

Answer 3

这是一种可能性。诚然，它只适用于现代计算机，amsfonts而且我还没有在“正常”（文本和显示样式）尺寸之外对它进行过测试。

\documentclass{article}
\usepackage{amsmath,amssymb}

\newcommand{\Subseteq}{%
  \mathrel{%
    \lower.32ex\hbox{$
    \begin{matrix}
      \Subset\\[-1.78ex] \smash{-}
    \end{matrix}$}
  }}

\begin{document}

Compare: \quad $\subseteq \Subseteq$

Triple $\Subset$:\quad $\Subseteq,\Cap,\Cup$

\end{document}