User blog comment:Deedlit11/Ordinal notations II: Up to the Bachmann-Howard ordinal/@comment-11227630-20140830020542/@comment-1605058-20140830065903

1-1 means that the function is an injection, not necessarily bijection.