Symbol for negated exclamation mark

Question

I need a symbol as an exclamation mark, on which a negation sign exists:

I've just checked The Comprehensive Latex Symbol List to find something useful but all I've found are the negation symbols of Pages 49-57, where there is no symbol like what I need.

@CarLaTeX: Unfortunately, Yes. It's a little bit ugly and even unreadable. — , May 26 '17 at 17:14
@Skillmon Yes. Pretty similar to the other negated relation symbols. — , May 26 '17 at 17:21
@cat: In the supervisory control theory of discrete event systems, if there exists an event $$\sigma$$ eligible to occur from the state $$q$$, we say $$\delta(q,\sigma)!$$, i.e., the transition is defined. Conversely, if such transition does not exist, one puts a struck on the $$!$$ to reflect the negation. — , May 27 '17 at 23:51
@Roboticist Now, if there were ever a domains-specific, niche application, that's it — cat, May 28 '17 at 03:44

CarLaTeX · Accepted Answer · 2017-05-27T06:58:00.803

17

What about this with stackengine?

\documentclass[12pt]{article}
\usepackage{graphicx,amsmath}
\usepackage{stackengine}
\newcommand{\myexc}{\mathrel{\topinset{\rotatebox{-45}{\scalebox{.5}{/}}}{!}{}{}}}
\newcommand{\stevexc}{\mathrel{\stackinset{c}{}{t}{}{\rotatebox{-45}{\scalebox{.5}{$/$}}}{$!$}}}
\newcommand{\steveyc}{\mathrel{\stackinset{c}{}{t}{.15ex}{\scalebox{1.5}[.4]{$/$}}{$!$}}}

\begin{document}
    My original answer:
    \[
    A \myexc B
    \]

    A more correct solution (see Stevens's comment):
    \[
    A \stevexc B
    \]

    Steven's elegant solution without \verb|\rotatebox|:
    \[
    A \steveyc B
    \]
\end{document}

edited May 27 '17 at 06:58

answered May 26 '17 at 17:38

CarLaTeX

62,716

Your reputation just keeps "stacking" up! ;^) – Steven B. Segletes May 26 '17 at 18:49
I was one of the first to upvote. The other approach I considered was a \scalebox{}[]{/}, with skewed vertical/horizontal magnifications. You might be able to avoid rotating it as such. – Steven B. Segletes May 26 '17 at 18:53
I note you did the stack in text mode, which could bite you depending on the font. The use of an inset automatically applied \useanchorwidth, which is good, though \topinset is deprecated towards, instead, the use of \stackinset. – Steven B. Segletes May 26 '17 at 18:54
@StevenB.Segletes I didn't manage to get the correct symbol with only \scalebox{}[]{/}. Please look at the \stevexc command and tell me if I correctly understood your suggestion! – CarLaTeX May 26 '17 at 20:28
Yes, you transitioned to \stackinset properly, and employed it in math mode. I will try to see if I can do anything with my \scalebox suggestion. – Steven B. Segletes May 26 '17 at 23:50
Here is what I had in mind: \newcommand{\steveyc}{\mathrel{\stackinset{c}{}{t}{.15ex}{\scalebox{1.5}[.4]{$/$}}{$!$}}} No rotation required. – Steven B. Segletes May 26 '17 at 23:52
@StevenB.Segletes Foolishly, I didn't think to increase the horizontal scaling. I've just added your solution to my answer. Thank you very much! – CarLaTeX May 27 '17 at 06:58
2

if your stackengines make enough stacks then maybe you can stack exchange? – cat May 27 '17 at 23:44
1

@cat LOL! stackengine is not mine, it's Steven's. But is your code a catcode? – CarLaTeX May 28 '17 at 03:32
Dear @CarLaTeX, is it possible to make the slanted line a bit shorter, similar to its size in \nmid? – Arrow Apr 07 '20 at 20:07
@Arrow See egreg's answer, I think it's better than mine, – CarLaTeX Apr 07 '20 at 20:09

egreg · Answer 2 · 2020-04-07T22:50:59.593

13

This might appeal to you.

\documentclass{article}
\usepackage{amsmath}

\DeclareMathSymbol{\smallslash}{\mathord}{operators}{32}
\newcommand{\negexcl}{\mathrel{\smallslash\mkern-5mu{!}}}

\begin{document}

$a\negexcl b$

$a\mathrel{!}b$

\end{document}

A different implementation, with the slash similar to \nmid. The first line shows that the two slashes coincide. The color package is only used for that example.

The symbol won't change according to the math style. It's left as an exercise to adapt it for subscripts and superscripts.

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

\usepackage{color}

\newcommand{\negexcl}{\mathrel{\smallslash{!}}}
\makeatletter
\newcommand{\smallslash}{%
  \begingroup
  \sbox\z@{$\m@th\mkern1mu$}%
  \dimen@=\wd\z@
  \begin{picture}(0,0)
  \roundcap
  \put(0,\fontdimen22\textfont2){\line(1,0.9){5\dimen@}}
  \end{picture}%
  \endgroup
}
\makeatother

\begin{document}

{\ooalign{\color{red}$\negexcl$\cr$\nmid$\cr}}
{\ooalign{$\nmid$\cr\color{red}$\negexcl$\cr}}

$a\negexcl b\nmid c$

$a\mathrel{!}b\mid c$

\end{document}

edited Apr 07 '20 at 22:50

answered May 26 '17 at 20:15

egreg

1,121,712

Much appreciated. – May 26 '17 at 20:26
@Roboticist You were too fast accepting my answer, please feel free to change your choice! – CarLaTeX May 26 '17 at 20:31
Dear @egreg, is it possible to have the slanted line with the same proportions as in \nmid? I mean the slope, length, and width. Thanks in advance! – Arrow Apr 07 '20 at 20:11
@Arrow Do you like the new version? – egreg Apr 07 '20 at 20:38
@egreg it's perfect! Thanks! – Arrow Apr 07 '20 at 20:44
@egreg it's bit strange, but no LyX document will compile for me when it contains the newcommand block. – Arrow Apr 07 '20 at 20:58
@Arrow Just don't use LyX, then, it's easier. ;-) Maybe it's the fault of the missing \makeatletter that I forgot to add. – egreg Apr 07 '20 at 21:28
@egreg that fixed it :) I'll try figuring out how to make it look perfect as a sub/superscript. Thanks again. – Arrow Apr 07 '20 at 22:09

Symbol for negated exclamation mark

2 Answers2