Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

len(S) to |S| #26

Closed
h-g-s opened this issue Oct 10, 2019 · 1 comment
Closed

len(S) to |S| #26

h-g-s opened this issue Oct 10, 2019 · 1 comment

Comments

@h-g-s
Copy link

h-g-s commented Oct 10, 2019

thanks for the amazing plugin. Would be possible to convert len(S) into the mathematical notation |S| (cardinality) ?

@ehamberg
Copy link
Owner

Unfortunately it's not possible to use conceal to surround something, as far as I know. (Or maybe it's possible by doing some tricks with contained in the syntax rules? Would love to know!)

In the moresymbols branch, # is used to signal length:

" Your background, and taste, may affect whether you like # for cardinality ;)
syntax keyword pyNiceBuiltin len conceal cchar=#

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

No branches or pull requests

2 participants