Proposed new syntax

[Paul Rubin]

Marko Rauhamaa <marko at pacujo.net> writes:
> Jussi Piitulainen <jussi.piitulainen at helsinki.fi>:
>> But what is "set comprehension" in French, German, or Finnish?

The idea comes from set theory: for some reason English Wikipedia
doesn't have Finnish cross-wiki links for most of the relevant
terms, but Google translates "axiom of specification" as
"Määritelmän axiom".    Maybe you can find something from there.