\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}