Skip to content

The divides character is too small, especially if used with numbers. #324

@redtrumpet

Description

@redtrumpet

I think the divides character (U+2223) is too small. If it is used with ordinary numbers, the numbers' height exceed the vertical bar. The same holds for does not divide (U+2224) and does not divide with reversed negation slash (U+2AEE). Not sure if I missed other characters with similar usage.

Example:
Bildschirmfoto_2020-05-08_10-15-29

This is how it looks if I use the vertical line (U+007C):
Bildschirmfoto_2020-05-08_10-18-40

I acknowledge that this might be a question about taste, so feel free to close this issue if this works as intended.

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions