They contacted the station staff but the man had left the area and gone out through the ticket barrier.

I didn't know which to take. I looked for a station attendant but didn't find one.