Skip to content

Conversation

@RubenVerg
Copy link

image

changed to be like a filled jot (shown beside for reference) and «» moved to be positioned like glyphs instead of baseline-aligned (shown alongside functions in a fork)

@abrudz
Copy link
Member

abrudz commented Aug 20, 2025

Maybe time to align all the dots and make them have sensible relative sizes?

I'd say that Unicode seems to indicate that is a filled since they have adjacent code points.

Suggestion (but open for arguments):

· (middle dot), smallest; match the dot in 0

(dot operator), smaller; match inner whitespace of

(bullet operator), medium; filled

(bullet), larger; match inner whitespace of

(black circle, not currently in the font) largest; filled

@abrudz abrudz merged commit ac871af into Dyalog:master Sep 1, 2025
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants