code: def test_formatting():
      S = Logic.fromstring
      raises(ValueError, lambda: S("a&b"))
      raises(ValueError, lambda: S("a|b"))
      raises(ValueError, lambda: S("! a"))
  
file_path: sympy/sympy/core/tests/test_logic.py
imports: from sympy.core.logic import fuzzy_not, Logic, And, Or, Not, fuzzy_and, fuzzy_or, _fuzzy_group, _torf, fuzzy_nand, fuzzy_xor
  from sympy.testing.pytest import raises
  from itertools import product
label_desc: Use image node_id 14 for calling a global function with example usage: test_formatting() without return types