Skip to content

Tweaks for consistency (fixes #67) (fixes #75)#80

Merged
abrudz merged 2 commits intoDyalog:masterfrom
RubenVerg:consistency
Sep 1, 2025
Merged

Tweaks for consistency (fixes #67) (fixes #75)#80
abrudz merged 2 commits intoDyalog:masterfrom
RubenVerg:consistency

Conversation

@RubenVerg
Copy link
Copy Markdown

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
Copy Markdown
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