Example ex5-02
Prev:
ex5-01
Next:
ex5-03
v
S
<math> <apply> <in/> <ci><mi mathvariant="bold">v</mi></ci> <ci>S</ci> </apply> </math>