Html – How to write multipe math equations inline on a single line in Sphinx
I want to write a simple line as below in my Sphinx reST document: To write the line using :math: flag: We know that :math:`A to B vdash A to forall x B`, provided that :math:`x` is not free in…