Is there a way to define a new command which represents the function override symbol used in Event-B. There is a similar symbol \dsub that is just the triangle with the line that splits it. Thanks in advance.
[Tex/LaTex] Defining a command which makes a new symbol
symbols
Related Solutions
If I go to the detexify site and draw the double-integral-with-circle symbol, the answer I get is \oiint from the esint package. The package also provides the command \varoiint for a perfectly circular-shaped circle symbol. (Sounds rather circular, doesn't it?!)
Aside: If the esint package is loaded, the macros \iint and \oint are modified relative to the definitions provided by the amsmath package. With \iint, the two integral symbols are spaced more closely, and with \oint, the circle is enlarged. (Note that the shape of the basic integral symbol itself is still the one that's provided by the Computer/Latin Modern math font.) Speaking purely for myself, I find both changes to be ok, and even quite good. However, it's probably worth pointing this out explicitly, if for no other reason than to avoid any surprises by unsuspecting users of the esint package.
\documentclass{article}
\usepackage{esint} % various fancy integral symbols
\begin{document}
\[
\int \iint \oint \oiint \varoiint
\]
\end{document}
Addendum, March 2018: If you use LuaLaTeX and the unicode-math package, you wouldn't need to load any particular package to get access to macros such as \iint, \oint, and \oiint -- the corresponding symbols should be provided by just about all unicode-based math font. Here's how the symbols look when using 11 different math fonts. (Aside: I chose the math fonts purely based on their ability on my TeX distribution (MacTeX2018).)
% !TEX TS-program = lualatex
\documentclass{article}
\newcommand\blurb{$\displaystyle \int\ \iint\ \oint\ \oiint $}
\usepackage{unicode-math,booktabs}
%% Load 11 math fonts
\setmathfont{Latin Modern Math}[version=LM]
\setmathfont{Stix Math}[version=Stix]
\setmathfont{XITS Math}[version=XITS]
\setmathfont{Stix Two Math}[version=Stix2]
\setmathfont{Cambria Math}[version=Cambria]
\setmathfont{Asana Math}[version=Asana]
\setmathfont{TeX Gyre Pagella Math}[version=Pagella]
\setmathfont{TeX Gyre Termes Math}[version=Termes]
\setmathfont{TeX Gyre DejaVu Math}[version=DejaVu]
\setmathfont{Neo Euler}[version=Euler]
\setmathfont{Libertinus Math}[version=Libertinus]
\begin{document}
\begin{tabular}{@{}ll@{}}
Latin Modern Math & \mathversion{LM} \blurb \\ \addlinespace
Stix Math & \mathversion{Stix} \blurb \\ \addlinespace
XITS Math & \mathversion{XITS} \blurb \\ \addlinespace
Stix Two Math & \mathversion{Stix2} \blurb \\ \addlinespace
Cambria Math & \mathversion{Cambria} \blurb \\ \addlinespace
Asana Math & \mathversion{Asana} \blurb \\ \addlinespace
Pagella Math & \mathversion{Pagella} \blurb \\ \addlinespace
Termes Math & \mathversion{Termes} \blurb \\ \addlinespace
DejaVu Math & \mathversion{DejaVu} \blurb \\ \addlinespace
Neo Euler & \mathversion{Euler} \blurb \\ \addlinespace
Libertinus Math& \mathversion{Libertinus}\blurb
\end{tabular}
\end{document}
Here's an attempt (better than the first one).
\documentclass{article}
\usepackage{graphicx}
\newcommand{\xle}{%
\mathrel{\vphantom{\le}%
\smash{\vcenter{\hbox{\oalign{%
\noalign{\kern.2ex}
\rotatebox[origin=l]{25}{$\scriptstyle\to$}\cr
\noalign{\kern-.95ex}
\kern-.03em
\rotatebox[origin=l]{-25}{$\scriptstyle\to$}\cr
\noalign{\kern.35ex}
\smash{$-$}\cr
}}}}%
}
}
\begin{document}
\fbox{$A\xle B$}\fbox{$A \le C$}
\end{document}
Best Answer
At https://sourceforge.net/p/rodin-b-sharp/svn/16394/tree/trunk/Handbook/org.rodinp.handbook.feature/latex/plastex-bsymb.sty, they provide
bsymb.styand employ this definitionAccording to this site, http://wiki.event-b.org/index.php/Rodin_Keyboard_User_Guide, there is a unicode symbol U+E103 , but I haven't yet found a font that supports it (I see some web reference to one called Brave Sans Mono that might support it, but haven't found the actual font yet).
The Event-B language is discussed in great detail at http://rodin.cs.ncl.ac.uk/deliverables/D7.pdf