Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
Operators and symbols used in MFA structures
| Operator/symbol | Definition |
|---|---|
| x := a | Assignment of a value a to a variable x |
| x = a | Comparison between x and a |
| /a | Delimiter that precedes an operation a |
| ∖ a | Delimiter that precedes a predicate a |
| a.b | Component operator: b is a member of a |
| A – B | Bond association between A and B |
| x → A | Mapping input x to machine A |
