Status | Accepted |
Collection | Core |
Categories |
Connectors |
An inference connector indicates that the target symbol may be inferred from the origin symbol. Inference connectors are the main operators in inferences, where the context elements on the right are inferred from the data on the left.