
\newcommand{\FunTypeSym}{{\rightarrow}}

% \IntsectSym is my rendition of Unicode character 2A40 "INTERSECTION
% WITH DOT".

% *** \IntersectionWithDot

\newcommand{\IntsectSym}{\mathpalette\IntsectSymAux{}}
\newcommand{\IntsectSymAux}[2]
  {% #1 is DISPLAYSTYLE
   % #2 is JUNK
   #1%
   \setbox0=\hbox{$\mathsurround=0pt\relax#1\cap$}%
   \mathbin
     {% The amount 0.4 is derived by experimenting with the Computer
      % Modern math fonts at the default sizes and may be wrong for
      % other fonts.  It may also be wrong for other sizes of Computer
      % Modern, although that is much less likely.
      \raise0.4\ht0%
         \hbox to\wd0%
           {\hfill
            % This period is in math mode so its font will agree with
            % the font of the \cap above
            $\mathsurround=0pt\relax.$%
            \hfill}%
      \kern -\wd0\relax
      {\cap}}}

% The closest Unicode character to \ConstraintSym is 2A7F "LESS-THAN
% OR SLANTED EQUAL TO WITH DOT INSIDE".
% However, the separate bar in \ConstraintSym is not slanted.
% The next closest characters are 22D6 "LESS-THAN WITH DOT" and 2264
% "LESS-THAN OR EQUAL TO".

% *** \LessThanOrEqualToWithDotInside

\newcommand{\ConstraintSym}{\mathpalette\ConstraintSymAux{}}
\newcommand{\ConstraintSymAux}[2]
  {% #1 is DISPLAYSTYLE
   % #2 is JUNK
   #1%
   \setbox0=\hbox{$#1\lessdot$}%
   \mathbin
     {\kern 0.12\wd0\relax
      \vrule width 0.74\wd0 depth 0.5ex height -0.4ex\relax
      \kern 0.14\wd0\relax
      \kern -\wd0\relax
      {\lessdot}}}
