☰

定义创建新符号的命令

tag-icon • tag-icon symbols
定义创建新符号的命令

有没有办法定义一个新命令来代表 Event-B 中使用的函数覆盖符号。有一个类似的符号\dsub，它只是一个三角形，中间有一条线将其分开。提前致谢。

在此处输入图片描述

答案1

在https://sourceforge.net/p/rodin-b-sharp/svn/16394/tree/trunk/Handbook/org.rodinp.handbook.feature/latex/plastex-bsymb.sty，他们提供bsymb.sty并使用了这个定义

\documentclass{article}
\usepackage{amssymb}
\newcommand{\ovl}{\mathbin{\lhd\mkern-9mu-}} 
\begin{document}\Huge
$\ovl{A}$
\end{document}

在此处输入图片描述

据该网站称，http://wiki.event-b.org/index.php/Rodin_Keyboard_User_Guide，有一个unicode符号 U+E103 ，但我还没有找到支持它的字体（我看到一些网络参考资料提到一种名为 Brave Sans Mono 的字体可能支持它，但还没有找到实际的字体）。

Event-B 语言在http://rodin.cs.ncl.ac.uk/deliverables/D7.pdf

相关内容