Consider using “☑” or similar) to mean “true”, rather than overloading “+”?
The double-turnstile ⊨ is the usual symbol for saying that a sentence is true (in a given model).
Or T and F for ‘is true’ and ‘is false’, or the T and upside-down T often used for (tautological) truth and (tautological) falsity for true and false.
Consider using “☑” or similar) to mean “true”, rather than overloading “+”?
The double-turnstile ⊨ is the usual symbol for saying that a sentence is true (in a given model).
Or T and F for ‘is true’ and ‘is false’, or the T and upside-down T often used for (tautological) truth and (tautological) falsity for true and false.