Double Vertical Line vs Parallel To

Compare double vertical line and parallel to -- two pairs of vertical strokes used in mathematics and computing with different semantics.