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.

Sign up for GitHub

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

Jump to bottom

Kronecker product symbol not displayed in PDF of the manual #31048

Closed
simonbyrne opened this issue Feb 12, 2019 · 5 comments · Fixed by JuliaDocs/Documenter.jl#1066
Closed

Kronecker product symbol not displayed in PDF of the manual #31048

simonbyrne opened this issue Feb 12, 2019 · 5 comments · Fixed by JuliaDocs/Documenter.jl#1066
Labels
docsystem The documentation building system

Comments

@simonbyrne
Copy link
Contributor

screenshot 2019-02-11 at 21 32 27

https://github.com/JuliaLang/julia/blob/master/doc/src/manual/mathematical-operations.md#vectorized-dot-operatorsid-man-dot-operators
@simonbyrne simonbyrne added the docsystem The documentation building system label Feb 12, 2019
@simonbyrne
Copy link
Contributor Author

Also ticks are missing from the table:
screenshot 2019-02-11 at 21 36 18
https://github.com/JuliaLang/julia/blob/master/doc/src/manual/integers-and-floating-point-numbers.md

@simonbyrne
Copy link
Contributor Author

And the xor symbol is missing:
screenshot 2019-02-11 at 21 38 09

@fredrikekre
Copy link
Member

Duplicate of JuliaDocs/Documenter.jl#803?

@StefanKarpinski
Copy link
Member

Also, I would argue that Bool is unsigned, although it's not <: Unsigned so maybe that's confusing.

This was referenced Jul 11, 2019
Closed
Merged
@mortenpi
Copy link
Contributor

mortenpi commented Oct 6, 2020

This can be closed. It was fixed quite a while back when we upgraded to Documenter 0.23.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
docsystem The documentation building system
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Use DejaVu fonts in PDF builds JuliaDocs/Documenter.jl
4 participants
@mortenpi @StefanKarpinski @simonbyrne @fredrikekre