Looking for two mathematical characters

[Patrick Andries]

I'm looking for two mathematical characters.   1) The canonical one-to-one (injective) mapping; is this U+21AA ? Looks like it (no annotation though).   2) An angle operator (combining mark ?) looking like this _| , where                         a  )    n|              a    )   n occurrences of a a ¯  means  a      )                    n| obviously a¯    should all be written on a single line.   Thanks for any help,   Patrick