You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
After stumbling upon the figures package, I realized that each figure symbol provided by this package should ideally have a fallback for terminals that do not support Unicode. The author of figures has a different idea on what these symbols should be, so we would likely not be able to depend on that package for our uses. It also seems to have more than we would need, but the current lack of fallbacks should probably be addressed by us somehow.
The text was updated successfully, but these errors were encountered:
After stumbling upon the
figures
package, I realized that each figure symbol provided by this package should ideally have a fallback for terminals that do not support Unicode. The author offigures
has a different idea on what these symbols should be, so we would likely not be able to depend on that package for our uses. It also seems to have more than we would need, but the current lack of fallbacks should probably be addressed by us somehow.The text was updated successfully, but these errors were encountered: