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

Ligaduras en <= y otros #14

Open
humitos opened this issue Nov 1, 2022 · 4 comments
Open

Ligaduras en <= y otros #14

humitos opened this issue Nov 1, 2022 · 4 comments

Comments

@humitos
Copy link
Member

humitos commented Nov 1, 2022

Supongo que esto no es lo que queremos:

Screenshot_2022-11-01_19-04-25

@cacrespo
Copy link
Collaborator

cacrespo commented Nov 8, 2022

Contra todo pronóstico me gusta el cosito así torcido jaja
Pero sí. Efectivamente deberíamos encontrar algo mejor.

@humitos
Copy link
Member Author

humitos commented Nov 9, 2022

A mí me gusta también.

Lo que pasa es que en, a menos que el lector tenga configurada una fuente con ligaduras en su máquina (que no es lo normal), el usuario va a ver algo como <= en vez de ese carácter.

No me parece super prioritario esto, pero abrí el issue para tenerlo en cuenta y conversar un poco.

@cacrespo
Copy link
Collaborator

Perfecto. Dejemos abierto el issue. Levanto acá mismo si veo alguna cosa parecida.

@cacrespo
Copy link
Collaborator

Lo menciono en revisión de capítulo 4 #25
image

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