Wythoff_symbol loading ...