Skip to content

placeholders should be formatted with math fonts #326

New issue
New issue
Open
Open
placeholders should be formatted with math fonts#326
Labels
bigAn issue causing a large set of changes, scattered across most of the text.
@zygoloid

Description

@zygoloid
zygoloid
opened on Jun 18, 2014

As discussed at Rapperswil, we'd like to experiment with this.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bigAn issue causing a large set of changes, scattered across most of the text.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions