Richard_Kennaway comments on Standard and Nonstandard Numbers

[Richard_Kennaway]

The double-turnstile ⊨ is the usual symbol for saying that a sentence is true (in a given model).