Topic summary

Notation 3

Notation 3

Extracted from the Wikipedia article Notation3.