Editing tat

\documentclass[size=14pt]{standalone}
\usepackage{amsmath, amssymb}
\usepackage{tikz}
\usetikzlibrary{decorations.pathmorphing}

\usetikzlibrary {arrows.meta}

\usetikzlibrary{positioning}

\usepackage{unicode-math}
\setmainfont{Libertinus Serif} % optional but pairs well
\setmathfont{Libertinus Math}
\setmathfont[version=bold]{Libertinus Math}
\mathversion{bold} % activate bold math globally

\setmathfont[range=\aleph]  {Asana Math}

\usepackage{amssymb}

\let\oldemptyset\emptyset
\let\emptyset\varnothing

\newcommand{\longleadsto}{
  \mathrel{
    \tikz[baseline={(0,0.5ex)}]{
      \draw[->,very thick,decorate,arrows = {-Triangle},decoration={snake,amplitude=0.6mm,segment length=3.3mm}] 
        (0,0.45) -- (1.1,0.45);
    }
  }
}

\newcommand\myeq{\stackrel{\nabla}{\longleadsto}}

\begin{document}
\Huge

\begin{tikzpicture}[node distance=1.6cm and 1.5cm, scale=3.0]
  \node (a) {$\displaystyle \sum i^n / n!$};
  \node (f) [below=of a] {$\exists$};
  \node (b) [below=of f] {$\displaystyle \int_\Omega \scalebox{1.2}{\partial}_\theta \mathcal{L}$};
  \node (g) [below=of b] {$\in$};
  \node (c) [below=of g] {$\left| \mathbb{Z} \right| < \,\scalebox{1.5}{\aleph}$};
  \node (h) [below=of c] {$\forall$};
  \node (d) [below=of h] {$\langle\, \cdot \,, \cdot \rangle$};
  \node (i) [below=of d] {$\cup$};
  \node (e) [below=of i] {$\emptyset \myeq \raisebox{-1.0ex}{\scalebox{3.0}{\circ}}$};
  \node (j) [below=of e] {$\vdash$};
\end{tikzpicture}

\end{document}

Editing tat

Upload File(s)

Attachments

Danger Zone