https://charactercodes.net/2AE3
"⫣" U+2AE3 Double Vertical Bar Left Turnstile - CharacterCodes.net
The Unicode character U+2AE3, displayed as ⫣ and named "Double Vertical Bar Left Turnstile" is located in the Supplemental Mathematical Operators block. This...
double vertical barleftturnstile