[go: up one dir, main page]

ibn is now correctly processed by \prname{}