Forking ⫝̸

Forking Symbol

Symbol named Forking, depicting a fork-like shape used in mathematical logic or computer science. It represents a branching or forking operation, often in semantics, process algebra, or order theory. This symbol is distinct from other fork or pitchfork symbols by its specific form.

The Symbol For Forking (⫝̸) is a unicode character in the Basic Multilingual Plane Plane. It is found in the Supplemental Mathematical Operators block and was approved as part of Unicode Version 3.2 in 2002