# Tag Info

7

Yet another solution (adjust -8mu to your needs) \documentclass{article} \usepackage{amsmath} \newcommand{\dbot}{\mathbin{\text{$\bot\mkern-8mu\bot$}}} \begin{document} $\alpha\dbot\beta=\alpha\times\{0\}\cup\beta\times\{1\}$ $A \dbot B_{A \dbot B_{A \dbot B}}$ \end{document}

8

I'm not sure of the exact aspect of what you require, but would not \upmodelsor \upVdashbelow be what you want? According to the name of the first symbol, it should be of use in model theory. These come from mdsymbol (math symbols for Myriad Pro), and the same exist in MnSymbol (mat symbols for Minion Pro).

10

In the Comprehensive List (texdoc symbols) one can find something near to what you want, looking for \independent. Here's a modified version: \documentclass{article} \makeatletter \DeclareRobustCommand{\varamalg}{% \mathbin{\mathpalette\var@malg\perp}% } \newcommand\var@malg[2]{% \rlap{$\m@th#1#2$}\mkern6mu{#1#2}% } \makeatother \begin{document} \[ ...

6


4

here's a possibility. admittedly, it will work only with computer modern and amsfonts, and i haven't tested it except at "normal" (text and display style) size. \documentclass{article} \usepackage{amsmath,amssymb} \newcommand{\Subseteq}{% \mathrel{% \lower.32ex\hbox{$\begin{matrix} \Subset\\[-1.78ex] \smash{-} \end{matrix}$} }} ...

3

Is this more what you are looking for? I have used the stackengine package for setting things vertically relative. The thicker square operators were created by laying two copies in close proximity (.2pt vertical and horizontal offset). The underlined subset placed a \rule under the \Subset. \documentclass{article} \usepackage[T1]{fontenc} ...

4

One can produce this kind of diagram using TikZ; below, an option using a matrix of math nodes: \documentclass{article} \usepackage{amsmath} \usepackage{tikz} \usetikzlibrary{matrix} \newcommand\mynot{\mathord{\sim}} \begin{document} \begin{tikzpicture} \matrix[ matrix of math nodes, row sep=-\pgflinewidth, column sep=-\pgflinewidth, nodes={ ...

3

If you're open to a different approach, I would actually go about this by \usetikzlibrary{matrix} instead. I think this solution might be preferable to @cfr's solution, as one does not have to manually adjust the spacing for this solution. That is, one can specify the matrix options of column sep and row sep globally in order to get some default spacing ...

4

Here's one way. This is somewhat of a hack because it requires manual adjustment to get the spacing right. The code works by creating three trees - the main tree, the line numbers and the justifications. To create the latter two without lines, we temporarily redefine the commands used for branches, making use of qtree's ! feature. The best work flow ...

Top 50 recent answers are included