This is LaTeX code:

[latex]
 
{\exists}x{\in}V, x{\not=}0 \ t.d.\ Ax=0, pa Bx
 
[/latex]