Thanks to visit codestin.com
Credit goes to programming.dev

Does anyone know how to make good double bar proofs? I used a column with a row before but I was wondering if there are any better options.