They are short names for stocks, also known as tickers. When a company lists on a public exchange they get one, and they usually start with currency denomination.
£AFC = AFC Energy 
(AFC)
£ITM = ITM Power (ITM) 
- Share Chat
$TPIC = TPI Composites
You can usually google just the ticker like “$PLUG” and google will show you a summary of the stock info.