Also, how to center tikz pictures? I did what I wanted with curved arrows like this:
\documentclass[a4paper]{article}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{tikz}
\usetikzlibrary{fit,shapes.geometric,arrows}
\begin{document}
\[ \tau\tikz[overlay,remember picture] \node (1){};\ \vee\neg\in\square\tikz[overlay,remember picture] \node (2){};\ A^\prime\in\square\tikz[overlay,remember picture] \node (3){};\ A^{\prime\prime} \]
\begin{tikzpicture}[node distance=1.5cm, auto, text centered, overlay, remember picture]
\draw[->,>=stealth,bend left=60,shorten <= .2cm,shorten >= .2cm] (1.north) to (2.north);
\draw[->,>=stealth,bend left=60,shorten <= .2cm,shorten >= .2cm] (1.north) to (3.north);
\end{tikzpicture}
\end{document}
And I tried a lot of things to get it centered, but nothing has worked so far.


{}on the gui.Related:https://tex.stackexchange.com/questions/196958/how-to-draw-arrows-between-circled-coefficients-of-polynomials-using-tikz/196962#196962
– Nov 12 '18 at 00:53