[help-texinfo] Inserting text in tex math mode

[Christopher Dimech]

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 $$

@end tex