Double Vertical Bar Double Right Turnstile ⊫ U+22AB Math Symbol · Mathematical Operators · Common Symbols Double Vertical Bar Double Left Turnstile U+2AE5 https://charcana.com/symbol/22ab