Rodin User’s Handbook v.2.8: How can I use multiple lines for a comment, predicate or expression (using the new editor)?

Rodin Handbook

This work is sponsored by the Deploy Project

This work is sponsored by the ADVANCE Project

Creative Commons License

How can I use multiple lines for a comment, predicate or expression (using the new editor)?

Rodin User’s Handbook v.2.8

To insert a line break while editing any field, use Ctrl-Return.

Rodin User’s Handbook v.2.8 : Frequently Asked Questions : Modelling : How can I use multiple lines for a comment, predicate or expression (using the new editor)?