PR #54091 note infix syntax for "in" and "∈"

note infix syntax for "in" and "∈" #54091

fredrikekre merged 1 commit into master from stevengj-patch-6

note infix syntax for "in" and "∈"

f1d7befd

stevengj added docs

fredrikekre merged 033abb41 into master 1 year ago

fredrikekre deleted the stevengj-patch-6 branch 1 year ago

Reviewers

No reviews

Assignees

No one assigned

Labels

docs

Milestone

No milestone