Hello James, *, On Debian like system:
└─$ apt-cache search ibm |grep font console-cyrillic - Cyrillic fonts and keyboard layouts for Linux console fonts-3270 - monospaced font based on IBM 3270 terminals fonts-pc - TrueType conversions of PC ROM fonts fonts-pc-extra - TrueType conversions of PC ROM fonts (less popular variants) fonts-texgyre - OpenType fonts based on URW Fonts fonts-yusei-magic - handwritten letters written with permanent marker golang-github-pbnjay-pixfont-dev - pixel font package for Go (library) librust-ab-glyph-dev - API for loading, scaling, positioning and rasterizing OpenType font glyphs - Rust source code texlive-fonts-extra - TeX Live: Additional fonts xfonts-scalable - scalable fonts for X xfonts-x3270-misc - Font files for the x3270(1) IBM 3270 emulator fonts-ibm-plex - extensive typeface family designed by IBM t1-xfree86-nonfree - non-free Postscript Type 1 fonts from XFree86 There is also: └─$ apt-cache show fonts-ibm-plex Package: fonts-ibm-plex Version: 6.1.1-1 Installed-Size: 41800 Maintainer: Debian Fonts Task Force <debian-fo...@lists.debian.org> Architecture: all Size: 26024764 SHA256: 682528a0832d8c5c3a92c64434c99fcceb1d2836ce7cf3cced902dcd86a188b2 SHA1: e4200c0e48bae0a7a34948927fc024c9791794e6 MD5sum: c047e907d3f395e2de6b70881327877b Description: extensive typeface family designed by IBM IBM Plex is an extensive font family developed by IBM. It comes in four subfamilies (Sans, Sans Condensed, Mono and Serif) and 8 weights (Thin, Extralight, Light, Regular, Text, Medium, Semibold, Bold), with true italics to complement them. A variable-weight counterpart of IBM Plex Sans is also available. . The four basic subfamilies support most of the languages using the Latin alphabet (including Vietnamese), the Cyrillic writing system and monotonic Greek. Hebrew (including cantillation marks), Thai (both looped and loopless), Devanagari and Arabic are supported as separate typefaces. . There is also support for common mathematical and currency symbols as well as ligatures and stylistic alternates. . This package contains the TrueType (CFF) flavored OpenType fonts and the WOFF/WOFF2 web fonts. Description-md5: Multi-Arch: foreign Homepage: https://www.ibm.com/plex/ Section: contrib/fonts Priority: optional Filename: pool/contrib/f/fonts-ibm-plex/fonts-ibm-plex_6.1.1-1_all.deb But I think they are more recent fonts. - Greg Le dim. 29 juin 2025 à 06:57, James Cloos <cl...@jhcloos.com> a écrit : > > and one last thought. > > i was reading thru fricas-book. it notes: > > FriCAS.hyperdoc.RmFont: Rom14 > FriCAS.hyperdoc.ActiveFont: Bld14 > FriCAS.hyperdoc.FriCASFont: Bld14 > FriCAS.hyperdoc.BoldFont: Bld14 > FriCAS.hyperdoc.TtFont: Rom14 > FriCAS.hyperdoc.EmphasizeFont: Itl14 > > so the answer to my original q is: yes, you did change from axiom's > original hyperdoc font defaults to ones at least shipped by xfree and > now xorg. > > the scalable ibm-courier is, on gentoo, in the package font-ibm-type1, > with homepages: > > https://www.x.org/wiki/ > https://gitlab.freedesktop.org/xorg/font/ibm-type1 > > so shipped by xorg; but i've no idea which packages to suggest for other > distributions. i should have looked deeper before suggesting that.... > > -JimC > -- > James Cloos <cl...@jhcloos.com> > OpenPGP: https://jhcloos.com/0x997A9F17ED7DAEA6.asc > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to fricas-devel+unsubscr...@googlegroups.com. > To view this discussion visit > https://groups.google.com/d/msgid/fricas-devel/m3ldpbw3em.fsf%40lugabout.jhcloos.org. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/CAHnU2dYsQd3D4TW9t2UWNPEzz4daEnErkx2ZYsGn4%3DbQVWnvsw%40mail.gmail.com.
