Skip to content

Commit

Permalink
fix mistake about cartesian product
Browse files Browse the repository at this point in the history
  • Loading branch information
stefjoosten committed Dec 2, 2024
1 parent f70a786 commit a708ffd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/reference-material/terms.md
Original file line number Diff line number Diff line change
Expand Up @@ -80,7 +80,7 @@ When coding in Ampersand, these operators are typed with characters on the keybo
| right residual | `\` | $$\backslash$$ | |
| diamond | `<>` | $$\Diamond$$ | |
| relational product | `!` | $$\dagger$$ | associative |
| cartesian product | `#` | $$\times$$ | deprecated |
| cartesian product | `#` | $$\times$$ | |
| reflexive transitive closure | `*` | $$$$ | |
| transitive closure | `+` | $$+$$ | |

Expand Down

0 comments on commit a708ffd

Please sign in to comment.