chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
tests
[topbloke-formulae.git]
/
article.tex
1
\documentclass[a4paper]{article}
2
\usepackage{MnSymbol}
3
\usepackage{stmaryrd}
4
\begin{document}
5
\def\iwjtest{{/\mkern-9mu\Sqsupset}}
6
\newcommand{\iwjtestx}{\ensuremath{\mathaccent\Sqsubset\sslash}}
7
sponge
8
$ A \sqsubseteq B $
9
$ A \not \sqsubseteq B $
10
$ A \nsqsubseteq B $
11
$ A \Sqsubset B $
12
$ A \Sqsupset B $
13
$ \sslash $
14
$ \iwjtest $
15
$ \iwjtestx $
16
\end{document}