I have the following tex contruct and want to add text inside the math _expression_,
for example adding
i.e. if
before \exists. However I am not sure how to tell texinfo to write this
as text mode within math _expression_.
@tex
$$ \exists \ s \ :: \
n(a^{tlv}_{s1},a^{tlv}_{s2},a^{tlv}_{s3}) \geq 2 $$
n(a^{tlv}_{s1},a^{tlv}_{s2},a^{tlv}_{s3}) \geq 2 $$
@end tex